Verification and Modularization of the DOLCE Upper Ontology
نویسندگان
چکیده
This paper outlines the reductive modularization and verification of the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE). The ontology makes distinctions between enduring and perduring entities which is reflected in the resulting reductive modules, in contrast to previous work done to generate a consistency proof for DOLCE. We present our approach to verify DOLCE with mathematical theories in the Common Logic Ontology Repository (COLORE), and describe how the ontological commitments made by the authors of DOLCE have affected the resulting verification and reductive modularization.
منابع مشابه
BFO/DOLCE Primitive Relation Comparison
This paper examines the primitive relations (dependence, quality, and constitution) of the BFO and DOLCE upper ontologies, employed in developing domain ontologies of the biomedical sciences. The strengths in both upper ontologies are examined, which sets a framework for developing a common upper ontology that utilizes the assets of both.
متن کاملSweetening Ontologies with DOLCE
In this paper we introduce the DOLCE upper level ontology, the first module of a Foundational Ontologies Library being developed within the WonderWeb project. DOLCE is presented here in an intuitive way; the reader should refer to the project deliverable for a detailed axiomatization. A comparison with WordNet's top-level taxonomy of nouns is also provided, which shows how DOLCE, used in additi...
متن کاملMathematical Foundations for Participation Ontologies
The notion of participation as a relation between objects, activities, and time has been axiomatized in various ontologies. In this paper, we focus on three of these ontologies – PSL-Core, Gangemi’s axioms, and DOLCE. We provide a verification of these participation ontologies by introducing ontologies for new classes of mathematical structures known as incidence bundles and incidence foliation...
متن کاملIntegration of the DOLCE top-level ontology into the OntoSpec methodology
This report describes a new version of the OntoSpec methodology for ontology building. Defined by the LaRIA Knowledge Engineering Team (University of Picardie Jules Verne, Amiens, France), OntoSpec aims at helping builders to model ontological knowledge (upstream of formal representation). The methodology relies on a set of rigorously-defined modelling primitives and principles. Its application...
متن کاملExploiting DOLCE, SUMO-OWL, and OpenCyc to Boost the Ontology Matching Process
This technical report describes a set of algorithms for exploiting upper ontologies (DOLCE, SUMO-OWL, and OpenCyc) as bridges in the ontology matching process, and discusses experimental results. The experiments demonstrate that when our “structural matching method via upper ontology” uses an upper ontology with a sufficient number of entities (OpenCyc, SUMO-OWL), the recall is significantly im...
متن کامل